-
1 logistical
adjective mil.относящийся к тылу, тыловой; logistical number номер, присваиваемый грузу при автоперевозке; logistical support материально-техническое обеспечение* * *1 (a) тыловой2 (r) относящийся к тылу* * *относящийся к математической логике, логистике* * *adj. относящийся к математической логике, вычислительный* * *I прил. 1) относящийся к математической логике 2) вычислительный II прил.; воен. относящийся к тылу -
2 logico-
компонент сложных слов со значением: логический - logico-mathematical относящийся к математической логике -
3 logistical
ləuˈdʒɪstɪkəl I прил.
1) относящийся к математической логике, логистике
2) вычислительный II прил.;
воен. относящийся к тылу, тыловой logistical support ≈ материально-техническое обеспечение( военное) тыловой, относящийся к тылу - * support материально-техническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечениеБольшой англо-русский и русско-английский словарь > logistical
-
4 logico
logico-
1> компонент сложных слов со значением: логический
_Ex:
logico-mathematical относящийся к математической логике -
5 undecidability
-
6 express an operation in terms of the Sheffer stroke
Универсальный англо-русский словарь > express an operation in terms of the Sheffer stroke
-
7 free variable
1) Техника: несвязанная переменная2) Экономика: свободная переменная -
8 ignorance
['ɪgnərəns]1) Общая лексика: безграмотность, неведение, невежественность, невежество, незнание, неученье, отсутствие информации2) Техника: пренебрежение, незнание (в математической логике)3) Математика: незнакомство4) Юридический термин: заблуждение, неосведомлённость5) Официальное выражение: непринятие во внимание6) юр.Н.П. невинность7) Макаров: полное невежество -
9 importation
[ˌɪmpɔː'teɪʃ(ə)n]1) Общая лексика: ввезённый товар, ввоз, внесение, импорт, предмет ввоза, импортирование, импортные товары, заимствование2) Техника: внос3) Математика: импортация4) Юридический термин: ввоз товаров в страну5) Налоги: импортная операция6) Деловая лексика: ввозимый товар7) Макаров: введение, внесение (в математической логике) -
10 logico-mathematical
Общая лексика: относящийся к математической логике -
11 n-tuple
1) Математика: n-строка, кортеж, кортеж из n элементов, набор из n чисел, умноженный на n2) Вычислительная техника: N-кратный, кортеж из п элементов, энка3) Контроль качества: n-кратный (напр. о резервировании)4) Макаров: n-строка (в геометрии), n-ка (в математической логике) -
12 undecidability
1) Техника: неразрешимость (в математической логике)2) Робототехника: невозможность принятия решения -
13 logistical
[ləʊ`ʤɪstɪk(ə)l]относящийся к математической логике, логистикевычислительныйотносящийся к тылу, тыловойАнгло-русский большой универсальный переводческий словарь > logistical
-
14 logico-
[ʹlɒdʒıkəʋ-]компонент сложных слов со значением логический: -
15 field
= FLD1) полеа) в СУБД - наименьший значимый элемент записи в базе данных; в реляционных БД поля называют также столбцами данных (column), или атрибутами (attribute) (см. тж. relation, relational model). Каждое поле записи характеризуется типом (числовое, символьное, логическое, поле даты и т. п.) и максимальной длинойсм. тж. alphanumeric field, calculated field, data field, database, field name, field separator, flat file, input field, key field, memo field, numeric field, record field, sort field, tag fieldсм. тж. field typeв) элемент входной или выходной формы, бланка, отчётасм. тж. address fieldд) в ООП - данные, относящиеся либо к классу, либо к объекту, и определяющие состояние (state) класса или объекта.Syn:2) область, сфера, поле деятельности3) производимый в полевых условиях, полевой; реальные условия эксплуатациисм. тж. field engineer4) в телевизоре или дисплее с чересстрочной развёрткой - одна из двух групп строк развёртки (сканирования), при помощи которых формируется каждое полноэкранное изображение; кадр состоит из верхнего ("нечётного") и нижнего ("чётного") полей, или полукадров5) область пространства, находящаяся под воздействием некоторой физической силы (гравитации, электрического потенциала или магнетизма)6) в математической логике - множество всех аргументов и значений функции, совокупность её домена и содомена7) в теории множеств - множество, все члены которого образуют коммутативную группу относительно операции сложения, а при исключении нулевого элемента - и умножения8) полевойАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > field
-
16 logistical
I [ləu'ʤɪstɪk(ə)l] прил.1) относящийся к математической логике, логистикеII [ləu'ʤɪstɪk(ə)l] прил.; воен.относящийся к тылу, тыловой -
17 Haskell
язык [функционального программирования] Haskellбазируется на лямбда-исчислении ( lambda calculus), поэтому греческая буква λ является его символом; поддерживает ленивые вычисления (lazy evaluation), полиморфизм типов и др. Назван в честь английского математика Хаскела Б. Карри (Haskell Brooks Curry), работы которого по математической логике стали основой для нового семейства языков функционального программирования. Первые версии Haskell были разработаны большой группой учёных в начале 1990-х годов. Наиболее полная реализация языка - Haskell 98.Haskell is not just a good 'teaching language'; it is a practical programming language, supported by having extensions such as interfaces to C functions and component-based programming, for example. - Haskell — не просто хороший "учебный язык"; это настоящий язык программирования, имеющий, в частности, такие средства поддержки и расширения, как интерфейс с функциями, написанными на Си, и возможности компонентно-ориентированного программирования см. тж. functional language, www. haskell. org
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Haskell
-
18 tautology
тавтология, логически истинное высказывание1) в математической логике - высказывание, истинное во всех случаяхсм. тж. proposition2) повторение сказанного другими словами, не уточняющими смысла, не вносящими ничего новогоАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > tautology
-
19 symbolic logic
символическая логика; иное название математической логики, указывающее на то, что в данной науке весьма широко применяются символы (больше, чем в традиционной логике).* * *символическая логика; иное название математической логики, указывающее на то, что в данной науке весьма широко применяются символы (больше, чем в традиционной логике). -
20 Johnson, William Ernest
перс.эк. Джонсон, Уильям Эрнест (1858-1931; кембриджский математик, философ и экономист; автор фундаментальных книг по тригонометрии и логике; друг Дж. Н. Кейнса; учитель Дж. М. Кейнса, Ф. Рэмсея, Л. Витгенштейна и др.; сменил в качестве лектора по математической экономике А. Берри в 1900 г.; в 1913 г. опубликовал статью "The Pure Theory of Utility Curves", в которой представил анализ кривых безразличия, предельной нормы замены, вывод кривых спроса из кривых безразличия и возможность получения кривых спроса с положительным наклоном)See:Англо-русский экономический словарь > Johnson, William Ernest
См. также в других словарях:
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Имя (в логике) — Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле как всё, что мы можем назвать. Среди собственных имён различают имена… … Большая советская энциклопедия
ПСИХОЛОГИЗМ В ЛОГИКЕ — система взглядов, согласно которым законы логики являются законами психологии. Сторонники П. в л. стремились интерпретировать понятия, принципы и законы логики как непосредственное выражение тех устойчивых связей между мыслями, которые возникают… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ПОРЕЦКИЙ — Платон Сергеевич [3(15).10.1846, Елиза ветград, ныне Кировоград, 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам… … Философская энциклопедия